Laufzeitoptimierte VHDL Bibliothek zur Verifikation und Simulation Kryptographischer Prozessoren
نویسندگان
چکیده
Kurzfassung: In diesem Beitrag wird eine umfassende Bibliothek mit arithmetischen und kryptographischen Funktionen vorgestellt. Diese Bibliothek wurde in VHDL entwickelt und unterstützt sowohl Langzahlarithmetik als auch Multiple Precision Arithmetic (MPA). Dadurch eignet sich die Bibliothek insbesondere zur simulatorunabhängigen Simulation und Verifikation kryptographischer Prozessoren, die auf Langzahlarithmetik beruhen. Des weiteren wurde mit Hilfe der Performance Messung die Bibliothek auf ihre Ausführungszeit hin optimiert.
منابع مشابه
Verifikation nachrichtentechnischer Systeme mit Systemsimulation und HW/SW-Cosimulation
Der Beitrag zeigt die Erfahrungen beim praktischen Entwurf und bei der Verifikation eines Algorithmus zur Echokompensation und beschreibt dessen Abbildung auf eine Zielarchitektur. Neben der Überprüfung der funktionellen Richtigkeit des Algorithmus stehen bei der Verifikation vor allem Untersuchungen zur benötigten Zahlengenauigkeit und zur erreichbaren Grenzfrequenz im Mittelpunkt. Um einen du...
متن کاملZeitbewertete Prädikat-Transitions-Netze zur Modellierung, Simulation und Analyse sicherheitskritischer Echtzeitsysteme
für meinen Vater ii Summary Within this thesis time evaluated predicate/transition nets (t-pr/t-nets) have been developed for the purpose to model, simulate and verify complex real-time systems. Therefore, t-pr/t-nets integrate concepts to model timing constraints and can be analysed by the means of structural analysis such as the calculation of sand t-invariants as well as the identification o...
متن کاملOn-line fehler-erkennung und schnelle wiederherstellungs-techniken für zuverlässige eingebettete prozessoren
Diese Arbeit präsentiert neue Verfahren zur on-line Observierung und parallelem Check von Prozessoren durch Verfeinerung und Verbesserung bekannter Techniken und Methoden sowie Einführung neuer Ideen. Motivation war die Entwicklung von Techniken zur Fehlererkennung im selben Maschinenzyklus. Des Weiteren werden Verfahren zur schnellen Fehler-Kompensation vorgestellt. Ziel war die Erhöhung der Z...
متن کاملTagungsbericht: 36. Treffen der GI - Fachgruppe Test, Analyse und Verifikation von Software (TAV-36), 26. und 27. Juni 2014, Softwareforen Leipzig
In zwei weiteren Vorträgen vom Fraunhofer-FokusInstitut wurde ebenfalls das Thema Sicherheit thematisiert. Michael Berger stellte in seinem Vortrag "Test Prioritization in Security Risk Testing" einen Ansatz vor, Sicherheitstests und SicherheitsRisikoanalyse miteinander zu verbinden. Der Ansatz ist modellbasiert und basiert auf einer speziellen Sprache zur Modellierung von (Sicherheits-)Risiken...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002